#include<stdio.h>
void main()
{
	int i,s=0;
	for(i = 7; i < 1000; i+=7)
	printf("%d ", i);
	s+=i;
}

